Argumentation is one of the most popular approaches of defininga~non-monotonic formalism and several argumentation based semantics wereproposed for defeasible logic programs. Recently, a new approach based onnotions of conflict resolutions was proposed, however with declarativesemantics only. This paper gives a more procedural counterpart by developingskeptical and credulous argument games for complete semantics and soundness andcompleteness theorems for both games are provided. After that, distribution ofdefeasible logic program into several contexts is investigated and bothargument games are adapted for multi-context system.
展开▼